Merge pull request #5851 from micmac1/mariadb
authorJo-Philipp Wich <[email protected]>
Sat, 28 Apr 2018 12:46:29 +0000 (14:46 +0200)
committerGitHub <[email protected]>
Sat, 28 Apr 2018 12:46:29 +0000 (14:46 +0200)
mysql: switch from MySQL to Mariadb


Trivial merge